University of Washington - PDFSEARCH.IO - Document Search Engine

University of Washington
Results: 13635

#	Item
11	Software Bug Localization with Markov Logic Sai Zhang, Congle Zhang University of Washington Presented by Todd Schiller Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:35 Software engineering Software Code coverage Software testing ARG2 Xdebug Relational operator Tarantula Computer programming
12	Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington Abstract mentation, and consistency invariants indicating whether Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-08-21 17:45:06 Computer architecture System software Disk file systems Data management Inode File system Journaling file system Log-structured File System Ext3 Mkfs Refinement Ext4
13	Formal Specication and Development of Control System Input/Output Jonathan Jacky Radiation Oncology Department RC-08 University of Washington Add to Reading List Source URL: staff.washington.edu Language: English - Date: 2015-02-13 18:58:47 Computing Models of computation Software engineering Control engineering Cognition State Control theory Lookup table Variable Dependent and independent variables
14	Synthesizing Highly Expressive SQL Queries From Input-Output Examples http://scythe.cs.washington.edu Chenglong Wang, Alvin Cheung, Ras Bodík University of Washington Add to Reading List Source URL: chenglongwang.org Language: English - Date: 2018-10-25 17:28:47
15	NL2Bash: A Corpus and Semantic Parser for Natural Language Interface to the Linux Operating System Xi Victoria Lin, Chenglong Wang, Luke Zettlemoyer, Michael D. Ernst Salesforce Research, University of Washington, Unive Add to Reading List Source URL: victorialin.net Language: English* - Date: 2018-10-26 01:53:41 Computing Scripting languages Xargs Semantic parsing Filter Sed GNU parallel Find Command-line interface Redirection Parsing Pipeline
16	Automatically Synthesizing SQL Queries from Input-Output Examples Sai Zhang University of Washington Joint work with: Yuyin Sun Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:35 Data management Computing Information retrieval SQL Relational database management systems Query languages Database management systems Select SQL syntax Null
17	Automatically Repairing Broken Workflows for Evolving GUI Applications Sai Zhang University of Washington Joint work with: Hao Lü, Michael D. Ernst Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:35 Economy Business Graphical user interface Software architecture Workflow
18	Which Configuration Option Should I Change? Sai Zhang, Michael D. Ernst University of Washington Presented by: Kıvanç Muşlu Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 System software Software Free software APT Debian Dpkg Ubuntu Configuration management
19	Caching Doesn’t Improve Mobile Web Performance (Much) Jamshed Vesuna and Colin Scott, University of California, Berkeley; Michael Buettner and Michael Piatek, Google; Arvind Krishnamurthy, University of Washington; Sco Add to Reading List Source URL: www.usenix.org Language: English - Date: 2016-06-22 03:22:39 Cache Computing Web development Information and communications technology Computer networking Computer architecture Web cache Web performance Proxy server World Wide Web Google PageSpeed Tools Web server
20	Automated Documentation Inference to Explain Failed Tests Sai Zhang University of Washington Joint work with: Cheng Zhang, Michael D. Ernst Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:35 Computer programming Software engineering Infinite loop Recursion Software development Software testing Java Extreme programming

UPDATE